[ACM Press Papers from the 1995 ACM SIGPLAN workshop - San Francisco, California, United States (1995.01.23-1995.01.25)] Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations - - Verification of ANDF components
Broustaut, Frédéric, Fabre, Christian, de Ferrière, François, Ivanov, Éric, Fiorentini, MauroYear:
1995
Language:
english
DOI:
10.1145/202529.202540
File:
PDF, 58 KB
english, 1995