Marcus Mews, Steffen Helke. Towards Static Modular Software Verification. In Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff, editors, Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. Volume 199 of LNI, pages 147-154, GI, 2012. [doi]
@inproceedings{MewsH12, title = {Towards Static Modular Software Verification}, author = {Marcus Mews and Steffen Helke}, year = {2012}, url = {http://subs.emis.de/LNI/Proceedings/Proceedings199/article6666.html}, researchr = {https://researchr.org/publication/MewsH12}, cites = {0}, citedby = {0}, pages = {147-154}, booktitle = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin}, editor = {Stefan Jähnichen and Bernhard Rumpe and Holger Schlingloff}, volume = {199}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-293-2}, }