Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)

it - Information Technology, pp. 265-276, 2004.

Cited by: 30|Bibtex|Views1|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments