%0 Conference Paper %1 conf/fct/ScheweT99 %A Schewe, Klaus-Dieter %A Thalheim, Bernhard %B FCT %D 1999 %E Ciobanu, Gabriel %E Paun, Gheorghe %I Springer %K dblp %P 463-474 %T A Generalization of Dijkstra's Calculus to Typed Program Specifications. %U http://dblp.uni-trier.de/db/conf/fct/fct99.html#ScheweT99 %V 1684 %@ 3-540-66412-2

@inproceedings{conf/fct/ScheweT99, added-at = {2018-11-14T00:00:00.000+0100}, author = {Schewe, Klaus-Dieter and Thalheim, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2d70a96fa21c85e73b90b6221e5c47c67/dblp}, booktitle = {FCT}, crossref = {conf/fct/1999}, editor = {Ciobanu, Gabriel and Paun, Gheorghe}, ee = {https://www.wikidata.org/entity/Q57376475}, interhash = {8e68a66f26288b449dabc032262540a9}, intrahash = {d70a96fa21c85e73b90b6221e5c47c67}, isbn = {3-540-66412-2}, keywords = {dblp}, pages = {463-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:29:54.000+0200}, title = {A Generalization of Dijkstra's Calculus to Typed Program Specifications.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct99.html#ScheweT99}, volume = 1684, year = 1999 }