%0 Conference Paper %1 conf/rsp/White92 %A White, S. %B RSP %D 1992 %I IEEE Computer Society %K dblp %P 112-125 %T A pragmatic formal method (PFM) for computer system definition and execution. %U http://dblp.uni-trier.de/db/conf/rsp/rsp1992.html#White92 %@ 0-8186-3520-7

@inproceedings{conf/rsp/White92, added-at = {2019-02-14T00:00:00.000+0100}, author = {White, S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26147ffe31a82b3d77bd38c15a44bf478/dblp}, booktitle = {RSP}, crossref = {conf/rsp/1992}, ee = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.1992.243913}, interhash = {4b47dfbcf112a9a7c56f858be2ff930d}, intrahash = {6147ffe31a82b3d77bd38c15a44bf478}, isbn = {0-8186-3520-7}, keywords = {dblp}, pages = {112-125}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T16:23:59.000+0200}, title = {A pragmatic formal method (PFM) for computer system definition and execution.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp1992.html#White92}, year = 1992 }