%0 Conference Paper %1 conf/jelia/PedroM96 %A Pedro, Vasco %A Monteiro, Luís %B JELIA %D 1996 %E Alferes, José Júlio %E Pereira, Luís Moniz %E Orlowska, Ewa %I Springer %K dblp %P 284-300 %T Modules and Specifications. %U http://dblp.uni-trier.de/db/conf/jelia/jelia96.html#PedroM96 %V 1126 %@ 3-540-61630-6

@inproceedings{conf/jelia/PedroM96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Pedro, Vasco and Monteiro, Luís}, biburl = {https://www.bibsonomy.org/bibtex/28bee8975466e824af25b1506f8c6742a/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1996}, editor = {Alferes, José Júlio and Pereira, Luís Moniz and Orlowska, Ewa}, ee = {https://doi.org/10.1007/3-540-61630-6_20}, interhash = {bd446e02e7937efaec99b6e10406b07d}, intrahash = {8bee8975466e824af25b1506f8c6742a}, isbn = {3-540-61630-6}, keywords = {dblp}, pages = {284-300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:30:58.000+0200}, title = {Modules and Specifications.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia96.html#PedroM96}, volume = 1126, year = 1996 }