%0 Report %1 pfeifer_96_supporting %A Pfeifer, Holger %D 1996 %K 1995 refinement proof %N Verifix/Ulm/3.1 %T Supporting Refinement Calculus Proofs in PVS

@techreport{pfeifer_96_supporting, added-at = {2009-02-12T11:21:11.000+0100}, author = {Pfeifer, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2becc96ef27dcd18cf57b7776c2d04833/leonardo}, citeulike-article-id = {771711}, institution = {Universitat Ulm}, interhash = {c439760880059b77e333dcb589b6b9c2}, intrahash = {becc96ef27dcd18cf57b7776c2d04833}, keywords = {1995 refinement proof}, number = {Verifix/Ulm/3.1}, posted-at = {2006-07-24 20:08:01}, priority = {4}, timestamp = {2009-02-12T11:21:11.000+0100}, title = {Supporting Refinement Calculus Proofs in PVS}, year = 1996 }