%0 Conference Paper %1 conf/ifm/PaigeB05 %A Paige, Richard F. %A Brooke, Phillip J. %B IFM %D 2005 %E Romijn, Judi %E Smith, Graeme %E van de Pol, Jaco %I Springer %K dblp %P 109-128 %T Agile Formal Method Engineering. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html#PaigeB05 %V 3771 %@ 3-540-30492-4

@inproceedings{conf/ifm/PaigeB05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Paige, Richard F. and Brooke, Phillip J.}, biburl = {https://www.bibsonomy.org/bibtex/29b9624040e8b2be0a32dfa155f1c8800/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2005}, editor = {Romijn, Judi and Smith, Graeme and van de Pol, Jaco}, ee = {https://doi.org/10.1007/11589976_8}, interhash = {b1c60c45af1239b15ba94e2c3b329687}, intrahash = {9b9624040e8b2be0a32dfa155f1c8800}, isbn = {3-540-30492-4}, keywords = {dblp}, pages = {109-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:09.000+0200}, title = {Agile Formal Method Engineering.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html#PaigeB05}, volume = 3771, year = 2005 }