%0 Conference Paper %1 conf/esec/Coen-PorisiniKM95 %A Coen-Porisini, Alberto %A Kemmerer, Richard A. %A Mandrioli, Dino %B ESEC %D 1995 %E Schäfer, Wilhelm %E Botella, Pere %I Springer %K dblp %P 90-108 %T A Formal Framework for ASTRAL Inter-level Proof Obligations. %U http://dblp.uni-trier.de/db/conf/esec/esec95.html#Coen-PorisiniKM95 %V 989 %@ 3-540-60406-5

@inproceedings{conf/esec/Coen-PorisiniKM95, added-at = {2017-06-02T00:00:00.000+0200}, author = {Coen-Porisini, Alberto and Kemmerer, Richard A. and Mandrioli, Dino}, biburl = {https://www.bibsonomy.org/bibtex/27ced1db284beb5cc4ba2d96834470e2b/dblp}, booktitle = {ESEC}, crossref = {conf/esec/1995}, editor = {Schäfer, Wilhelm and Botella, Pere}, ee = {https://doi.org/10.1007/3-540-60406-5_9}, interhash = {bf39c9fe1100234a0865592baf9a2699}, intrahash = {7ced1db284beb5cc4ba2d96834470e2b}, isbn = {3-540-60406-5}, keywords = {dblp}, pages = {90-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:52:04.000+0200}, title = {A Formal Framework for ASTRAL Inter-level Proof Obligations.}, url = {http://dblp.uni-trier.de/db/conf/esec/esec95.html#Coen-PorisiniKM95}, volume = 989, year = 1995 }