Open Access6th International Workshop on Formal Methods - Index
Author(s) -
Joseph M. Morris,
Benjamin Aziz,
Frédéric Oehl
Publication year - 2003
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/iwfm2003.0
Subject(s) - formal methods , computer science , rotation formalisms in three dimensions , formal verification , formal specification , software engineering , irish , automated theorem proving , scope (computer science) , secrecy , programming language , computer security , mathematics , linguistics , philosophy , geometry