[Lecture Notes in Computer Science] Interactive Systems. Design, Specification, and Verification Volume 2844 || ISML: An Interface Specification Meta-language
Jorge, Joaquim A., Jardim Nunes, Nuno, Falcão e Cunha, JoãoVolume:
10.1007/b1
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-39929-2_25
File:
PDF, 306 KB
english, 2003