Blatter, Lionel
VIAF ID: 104157883011260442318 (Personal)
Permalink: http://viaf.org/viaf/104157883011260442318
Preferred Forms
-
100 1 _ ‡a Blatter, Lionel
Works
Title | Sources |
---|---|
Relational properties for specification and verification of C programs in Frama-C |
![]() |