@tillmo

Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>

, , and . Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, page 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)

Links and resources

BibTeX key:
mkk98
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication