Search for persons
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
6
Good Fences Make Good Neighbors: Using Formally Verified Sa..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
9
Correction to: Formally Verified Timing Computation for Non..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
14