The IFAD VDM tools: Lightweight formal methods

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

Volumn 1641, Issue , 1999, Pages 326-329

  Agerholm, Sten ^a   Larsen, Peter Gorm ^a  

^a IFAD A/S   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ISO STANDARDS; LEADING EDGE TECHNOLOGY; LIGHTWEIGHT FORMAL METHODS; OBJECT ORIENTED;

FORMAL METHODS;

EID: 0005097315     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48257-1_22     Document Type: Conference Paper

References (0)