Preservation and Reflection in Specification

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{32aaf17275004bb8b8d2020d3aafc84b,

title = "Preservation and Reflection in Specification",

author = "Ant{\'o}nia Lopes and Fiadeiro, \{Jos{\'e} Luiz\}",

year = "1997",

language = "Undefined/Unknown",

volume = "1349",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "380--394",

booktitle = "AMAST",

}