Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Kei12b]  On the equivalence of state transformer senmatics and predicate transformer semantics

Kei:12a (In proceedings)
Author(s)Keimel, Klaus
Title« On the equivalence of state transformer senmatics and predicate transformer semantics  »
InProceedings of the Workshop Informatics and Information Technologies in Education: Theory, Practice, Didactics, Novosibirsk,
Volumevol. 1
Page(s)78--104
Year2012

BibTeX code
@inproceedings{Kei:12a,
  year = 2012,
  series = {},
  title = {On the equivalence of state transformer senmatics and predicate
           transformer semantics },
  volume = {vol. 1},
  booktitle = {Proceedings of the Workshop Informatics and Information
               Technologies in Education: Theory, Practice, Didactics,
               Novosibirsk, },
  pages = {78--104},
  publisher = {},
  author = {Keimel, Klaus},
  editor = {},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!