PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Harrison M. Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems. In: Electronic Communications of the EASST. Editorial, vol. 22 article n. 1. European Association of Software Science and Technology, 2009.
 
 
Abstract
(English)
Preface to the third International Workshop on Formal Methods for Interactive Systems held on November 2, 2009 in Eindhoven, The Netherlands.
URL: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/33
Subject Formal Methods
Interactive Systems
D.2.4 Software/Program Verification
68N30 Mathematical Aspects of software engineering (specification, verification, metrics, requirements, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional