![](/img/cover-not-exists.png)
Verification of ANDF components
Broustaut, Frédéric, Fabre, Christian, de Ferrière, François, Ivanov, Éric, Fiorentini, MauroVolume:
30
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/202530.202540
Date:
March, 1995
File:
PDF, 58 KB
english, 1995