%0 Conference Paper %1 conf/icse/LafontaineLS90 %A Lafontaine, Christine %A Ledru, Yves %A Schobbens, Pierre-Yves %B ICSE %D 1990 %E Valette, François-Régis %E Freeman, Peter A. %E Gaudel, Marie-Claude %I IEEE Computer Society %K dblp %P 34-42 %T An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. %U http://dblp.uni-trier.de/db/conf/icse/icse90.html#LafontaineLS90 %@ 0-8186-2026-9

@inproceedings{conf/icse/LafontaineLS90, added-at = {2012-05-14T00:00:00.000+0200}, author = {Lafontaine, Christine and Ledru, Yves and Schobbens, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/2fdef323469166d1c43a2d89157423841/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1990}, editor = {Valette, François-Régis and Freeman, Peter A. and Gaudel, Marie-Claude}, ee = {http://dl.acm.org/citation.cfm?id=100300}, interhash = {7a56c5415bb72502ea84dba233dcaf7d}, intrahash = {fdef323469166d1c43a2d89157423841}, isbn = {0-8186-2026-9}, keywords = {dblp}, pages = {34-42}, publisher = {IEEE Computer Society}, timestamp = {2012-05-15T11:43:41.000+0200}, title = {An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse90.html#LafontaineLS90}, year = 1990 }