Conference
Towards the verifying compiler
Authors
Hoare T
Editors
Aichernig BK; Maibaum T
Series
LECTURE NOTES IN COMPUTER SCIENCE
Volume
2757
Pagination
pp. 151-160
Publisher
SPRINGER-VERLAG BERLIN
Publication Date
January 1, 2003
ISBN-10
3-540-20527-6
Name of conference
10th Colloquium of the United-Nations-University-International-Institute-for-Software-Technology (UNU/ISST)
Conference place
Lisbon, PORTUGAL
Conference start date
March 18, 2002
Conference end date
March 20, 2002
Conference proceedings
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT
ISSN
0302-9743