Formal Methods in Programming and Their Applications Quotes

Rate this book
Clear rating
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735) Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings by Dines Bjørner
0 ratings, 0.00 average rating, 0 reviews
Formal Methods in Programming and Their Applications Quotes Showing 0-0 of 0