%0 Conference Paper %1 conf/forte/Bochmann09 %A von Bochmann, Gregor %B FMOODS/FORTE %D 2009 %E Lee, David %E Lopes, Antónia %E Poetzsch-Heffter, Arnd %I Springer %K dblp %P 213-218 %T Using First-Order Logic to Reason about Submodule Construction. %U http://dblp.uni-trier.de/db/conf/forte/forte2009.html#Bochmann09 %V 5522 %@ 978-3-642-02137-4

@inproceedings{conf/forte/Bochmann09, added-at = {2018-06-26T00:00:00.000+0200}, author = {von Bochmann, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/252ef4eddbbd349465587e272fc0ac21e/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2009}, editor = {Lee, David and Lopes, Antónia and Poetzsch-Heffter, Arnd}, ee = {https://doi.org/10.1007/978-3-642-02138-1_14}, interhash = {890204e0ddc78db0b788daf5056eb70c}, intrahash = {52ef4eddbbd349465587e272fc0ac21e}, isbn = {978-3-642-02137-4}, keywords = {dblp}, pages = {213-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-16T11:38:54.000+0200}, title = {Using First-Order Logic to Reason about Submodule Construction.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2009.html#Bochmann09}, volume = 5522, year = 2009 }