Logics for low-level code and proof-preserving program transformations
By: Ando Saabas
Contributors: Tallinna Tehnikaülikool
Published: 2008
Language: eng
Number of pages: 171
ISBN-13: 9789985598658
Notes: Thesis (doctoral)--Tallinn University of Technology, 2008.