×

zbMATH — the first resource for mathematics

Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. (English) Zbl 1276.68029
Electronic Notes in Theoretical Computer Science 191. Amsterdam: Elsevier. 113 p., electronic only (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For papers of the IFM 2005 conference see [Zbl 1122.68011].
Indexed articles:
Höfner, Peter, Semiring neighbours: an algebraic embedding and extension of neighbourhood logic, 49-72 [Zbl 1277.03028]
van Leeuwen, A. J., Building verification condition generators by compositional extension, 73-83 [Zbl 1277.68062]
van Beek, D. A.; Rooda, J. E.; Schiffelers, R. R. H.; Man, K. L.; Reniers, M. A., Relating hybrid chi to other formalisms, 85-113 [Zbl 1277.68149]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link