author = {Nikolaj Popov},
title = {{Verification Using Weakest Precndition Strategy}},
language = {english},
year = {2003},
month = {February},
translation = {0},
refereed = {no},
howpublished = {Contributed talk at Computer Aided Verification of Information Systems (CAVIS-04), Timisoara, Romania.},
length = {4}