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:
search on:

Comments and Reviews  

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


Cite this publication