A system development process with Event-B and the Rodin platform

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4789 LNCS, Issue , 2007, Pages 1-3

  Abrial, J R ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 38149075333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76650-6_1     Document Type: Conference Paper

References (0)