Title: The Use of Formal Specification of Software
Subjects: Computer programming, Congresses, Computer firmware