Results 1 -
1 of
1
The formal method known as B and a sketch for its implementation (2002)
by A J Kaijanaho
| Venue: | Czechoslovak Mathematical Journal |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University