%0 Thesis %1 wolf2001weakest %A Wolf, Andreas %D 2001 %K %T Weakest relative precondition semantics: balancing approved theory and realistic translation verification

@phdthesis{wolf2001weakest, added-at = {2023-12-14T15:03:21.000+0100}, author = {Wolf, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/25fb2ce3e0cf4020a370eaf8d09c8d293/admin}, dnbtitleid = {963646826}, interhash = {e6a3dce26358b3ba08ccbb0f604128d1}, intrahash = {5fb2ce3e0cf4020a370eaf8d09c8d293}, keywords = {}, school = {Uni Kiel}, timestamp = {2023-12-14T15:03:21.000+0100}, title = {Weakest relative precondition semantics: balancing approved theory and realistic translation verification}, year = 2001 }