ISBN:
9783642376351
Series Statement:
Lecture notes in computer science 7841
In:
Martí-Oliet, Narciso, Recent Trends in Algebraic Development Techniques, Berlin, Heidelberg : Springer, 2013, (2013), Seite 178-194, 9783642376351
In:
year:2013
In:
pages:178-194
Language:
English
DOI:
10.1007/978-3-642-37635-1_11
Bookmarklink