%0 Journal Article %1 Broy1998 %A Broy, Manfred %D 1998 %I Kluwer Academic Publishers %J Formal Methods in System Design %K %N 1 %P 87-119 %R 10.1023/A:1008618722275 %T A Functional Rephrasing of the Assumption/Commitment Specification Style %U http://dx.doi.org/10.1023/A%3A1008618722275 %V 13

@article{Broy1998, added-at = {2014-02-25T11:21:32.000+0100}, author = {Broy, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/2729c6c178cf77ff677b8766bb46435e3/junkerm}, doi = {10.1023/A:1008618722275}, file = {Broy1998.pdf:Broy1998.pdf:PDF}, groups = {public}, interhash = {b40616344f6c775a586ac30c32e1a7cc}, intrahash = {729c6c178cf77ff677b8766bb46435e3}, issn = {0925-9856}, journal = {Formal Methods in System Design}, keywords = {}, language = {English}, number = 1, pages = {87-119}, publisher = {Kluwer Academic Publishers}, timestamp = {2014-08-22T17:39:51.000+0200}, title = {A Functional Rephrasing of the Assumption/Commitment Specification Style}, url = {http://dx.doi.org/10.1023/A%3A1008618722275}, username = {junkerm}, volume = 13, year = 1998 }