Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers

Sophie Lathouwers, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
31 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers'. Together they form a unique fingerprint.

Computer Science

Biochemistry, Genetics and Molecular Biology