Software Engineering, vol 2: Specification of Systems and Languages

Publication: Research - peer-review › Book – Annual report year: 2006

A Survey of Formal Methods in Software Development
Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012
Specifying Geographic Information - Ontology, Knowledge Representation, and Formal Constraints
Publication: Research › Ph.d. thesis – Annual report year: 2007
Software Engineering, vol. 1: Abstraction and Modelling
Publication: Research - peer-review › Book – Annual report year: 2006
Software Engineering, vol. 3: Domains, Requirements and Software Design
Publication: Research - peer-review › Book – Annual report year: 2006
A Cloverleaf of Software Engineering
Publication: Research - peer-review › Article in proceedings – Annual report year: 2005

Author: Bjørner, Dines
Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Kgs. Lyngby
Email:

Original language	English
Publication date	2006

Publisher	Springer
State	Published

ID: 2750389

A Survey of Formal Methods in Software Development