User: Guest  Login
Title:

Integrating Design by Contract in INSEL

Author(s):
Preißinger, Jörg; Mayer, Alexander
Year:
2007
Month:
3
Notes:
Preißinger Jörg, Mayer Alexander: Integrating Design by Contract in INSEL. In: Proceedings of the International MultiConference of Engineers and Computer Scientists, IMECS’2007. Hong Kong, March 2007, S. 1037–1043.
 BibTeX