%0 Conference Paper %1 conf/amast/LopesF97 %A Lopes, Antónia %A Fiadeiro, José Luiz %B AMAST %D 1997 %E Johnson, Michael %I Springer %K dblp %P 380-394 %T Preservation and Reflection in Specification. %U http://dblp.uni-trier.de/db/conf/amast/amast97.html#LopesF97 %V 1349 %@ 3-540-63888-1

@inproceedings{conf/amast/LopesF97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Lopes, Antónia and Fiadeiro, José Luiz}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ac175665991621461df3973428fb9435/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1997}, editor = {Johnson, Michael}, ee = {https://doi.org/10.1007/BFb0000484}, interhash = {a4a7c23a6eb1bc7c693f0b2e85288fad}, intrahash = {ac175665991621461df3973428fb9435}, isbn = {3-540-63888-1}, keywords = {dblp}, pages = {380-394}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:42:32.000+0200}, title = {Preservation and Reflection in Specification.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast97.html#LopesF97}, volume = 1349, year = 1997 }