%0 Conference Paper %1 Boehm2014 %A Böhm, Wolfgang %A Junker, Maximilian %A Vogelsang, Andreas %A Teufl, Sabine %A Pinger, Ralf %A Rahn, Karsten %B Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices %C New York, NY, USA %D 2014 %I ACM %K %P 34--41 %R 10.1145/2593850.2593856 %T A Formal Systems Engineering Approach in Practice: An Experience Report %U http://doi.acm.org/10.1145/2593850.2593856 %@ 978-1-4503-2859-3

@inproceedings{Boehm2014, acmid = {2593856}, added-at = {2014-08-22T17:39:12.000+0200}, address = {New York, NY, USA}, author = {B\"{o}hm, Wolfgang and Junker, Maximilian and Vogelsang, Andreas and Teufl, Sabine and Pinger, Ralf and Rahn, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/216b6cb0ff4af213d53a77a909815eb33/junkerm}, booktitle = {Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices}, doi = {10.1145/2593850.2593856}, groups = {public}, interhash = {b244ab7900b71d1a9b99796ed1d93190}, intrahash = {16b6cb0ff4af213d53a77a909815eb33}, isbn = {978-1-4503-2859-3}, keywords = {}, location = {Hyderabad, India}, numpages = {8}, pages = {34--41}, publisher = {ACM}, series = {SER\&\#38;IPs 2014}, timestamp = {2014-08-22T17:39:12.000+0200}, title = {A Formal Systems Engineering Approach in Practice: An Experience Report}, url = {http://doi.acm.org/10.1145/2593850.2593856}, username = {junkerm}, year = 2014 }