Strategies for incorporating formal specifications in software development
Fraser, Martin D., Kumar, Kuldeep, Vaishnavi, Vijay K.Volume:
37
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/194313.194399
Date:
October, 1994
File:
PDF, 4.81 MB
english, 1994