%0 Thesis %1 soeken2013formal %A Soeken, Mathias %D 2013 %K %T Formal specification level: concepts, methods, and algorithms

@phdthesis{soeken2013formal, added-at = {2023-12-13T05:38:54.000+0100}, author = {Soeken, Mathias}, biburl = {https://www.bibsonomy.org/bibtex/276b763287b238830b54954c483251a3e/admin}, dnbtitleid = {104841096X}, interhash = {a4f5583a03385944b1decf3a8b2eec6a}, intrahash = {76b763287b238830b54954c483251a3e}, keywords = {}, school = {Uni Bremen}, timestamp = {2023-12-13T05:38:54.000+0100}, title = {Formal specification level: concepts, methods, and algorithms}, year = 2013 }