Thursday, October 7, 2010

The formal method known as B and a sketch for its implementation

Antti-Juhani Kaijanaho
Master's Thesis
in Information Technology (Software Engineering)
20th December 2002
http://users.jyu.fi/~antkaij/gradu.pdf
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)