%0 Conference Paper %1 conf/tfm/CarroMHM04 %A Carro, Manuel %A Mariño, Julio %A Herranz-Nieva, Ángel %A Moreno-Navarro, Juan José %B TFM %D 2004 %E Dean, C. Neville %E Boute, Raymond T. %I Springer %K dblp %P 85-106 %T Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. %U http://dblp.uni-trier.de/db/conf/tfm/tfm2004.html#CarroMHM04 %V 3294 %@ 3-540-23611-2

@inproceedings{conf/tfm/CarroMHM04, added-at = {2019-10-19T00:00:00.000+0200}, author = {Carro, Manuel and Mariño, Julio and Herranz-Nieva, Ángel and Moreno-Navarro, Juan José}, biburl = {https://www.bibsonomy.org/bibtex/2130ec2c7d991c2f1a18168ffce5d4174/dblp}, booktitle = {TFM}, crossref = {conf/tfm/2004}, editor = {Dean, C. Neville and Boute, Raymond T.}, ee = {https://doi.org/10.1007/978-3-540-30472-2_6}, interhash = {3959bc4ca37ef1becc9d0d156ca4bb4d}, intrahash = {130ec2c7d991c2f1a18168ffce5d4174}, isbn = {3-540-23611-2}, keywords = {dblp}, pages = {85-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:16:31.000+0200}, title = {Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.}, url = {http://dblp.uni-trier.de/db/conf/tfm/tfm2004.html#CarroMHM04}, volume = 3294, year = 2004 }