Formal Methods in Programming and Their Applications
Editor(s):
Type
Book [Editorship]
Year
1993
Publisher
Springer-Verlag
Series
Lecture Notes in Computer Science 735
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering