The Use of formal specification of software and firmware, June 25-27, 1979, Berlin (Informatik-Fachberichte)
Hardcover
details (
USA
).
ISBN: 978-0-387-10442-3
ISBN-10: 0-387-10442-9
Springer-Verlag
ยท 1980
