Open AccessExperiences of Formal Methods in ‘Conventional’ Software and Systems Design
Author(s) -
Ian Oliver
Publication year - 2007
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fmi2007.4
Subject(s) - formality , computer science , formal methods , software engineering , formal specification , software , software development , formal verification , quality (philosophy) , programming language , philosophy , linguistics , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom