User: Guest  Login
Author(s):
Preißinger, Jörg; Mayer, Alexander 
Title:
Integrating Design by Contract in INSEL 
Year:
2007 
Month:
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.