Title: Formal methods for trustworthy computer systems (FM89)
Subjects: Computer software, Congresses, Formal methods (Computer science), Testing, Validation, Verification, Computer software, validation, Computer software, verification, System design