Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleApproximating the algebraic relational semantics of imperative programs.
Author(s) Michael A. Colón
TypeBook, Chapter in Book, Conference Proceeding
ISBN3-540-22791-1/pbk
URL http://link.springer.com/book/10.1007%2Fb99688
LanguageEnglish
Pages296--311
PublisherBerlin: Springer
Year2004
Edition0
Translation No
Refereed No
Webmaster