%0 Conference Paper %1 conf/procomet/Denney98 %A Denney, Ewen %B PROCOMET %D 1998 %E Gries, David %E de Roever, Willem P. %I Chapman & Hall %K %P 148-166 %T Refinement types for specification. %U http://dblp.uni-trier.de/db/conf/procomet/procomet1998.html#Denney98 %V 125 %@ 0-412-83760-9

@inproceedings{conf/procomet/Denney98, added-at = {2023-12-14T15:36:07.000+0100}, author = {Denney, Ewen}, biburl = {https://www.bibsonomy.org/bibtex/2163b86ff5657b200a8175aec6ea3c687/admin}, booktitle = {PROCOMET}, crossref = {conf/procomet/1998}, date = {2002-11-21}, editor = {Gries, David and de Roever, Willem P.}, interhash = {ed33c6b75c47bd43ac56f3a79aac45c8}, intrahash = {163b86ff5657b200a8175aec6ea3c687}, isbn = {0-412-83760-9}, keywords = {}, pages = {148-166}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2023-12-14T15:36:07.000+0100}, title = {Refinement types for specification.}, url = {http://dblp.uni-trier.de/db/conf/procomet/procomet1998.html#Denney98}, volume = 125, year = 1998 }