%0 Conference Paper %1 conf/refsq/Poppleton07 %A Poppleton, Michael %B REFSQ %D 2007 %E Sawyer, Peter %E Paech, Barbara %E Heymans, Patrick %I Springer %K dblp %P 367-381 %T Towards Feature-Oriented Specification and Development with Event-B. %U http://dblp.uni-trier.de/db/conf/refsq/refsq2007.html#Poppleton07 %V 4542 %@ 978-3-540-73030-9

@inproceedings{conf/refsq/Poppleton07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Poppleton, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2af885266a836edee98adc18f1ee763dc/dblp}, booktitle = {REFSQ}, crossref = {conf/refsq/2007}, editor = {Sawyer, Peter and Paech, Barbara and Heymans, Patrick}, ee = {https://doi.org/10.1007/978-3-540-73031-6_28}, interhash = {8617f8445114605d92c7a36d356922b1}, intrahash = {af885266a836edee98adc18f1ee763dc}, isbn = {978-3-540-73030-9}, keywords = {dblp}, pages = {367-381}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:20:49.000+0200}, title = {Towards Feature-Oriented Specification and Development with Event-B.}, url = {http://dblp.uni-trier.de/db/conf/refsq/refsq2007.html#Poppleton07}, volume = 4542, year = 2007 }