%0 Conference Paper %1 conf/sera/WangLH07 %A Wang, Shuaiqiang %A Li, Ying %A Huang, Guodong %B SERA %D 2007 %I IEEE Computer Society %K dblp %P 195-202 %T PostB: The Post-condition Extension onto the B-Method. %U http://dblp.uni-trier.de/db/conf/sera/sera2007.html#WangLH07 %@ 0-7695-2867-8

@inproceedings{conf/sera/WangLH07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Wang, Shuaiqiang and Li, Ying and Huang, Guodong}, biburl = {https://www.bibsonomy.org/bibtex/27211108eb45b593511de86bfa0ef6394/dblp}, booktitle = {SERA}, crossref = {conf/sera/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/SERA.2007.107}, interhash = {ecac9bfc0030c814252488902697e0bc}, intrahash = {7211108eb45b593511de86bfa0ef6394}, isbn = {0-7695-2867-8}, keywords = {dblp}, pages = {195-202}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:53:54.000+0200}, title = {PostB: The Post-condition Extension onto the B-Method.}, url = {http://dblp.uni-trier.de/db/conf/sera/sera2007.html#WangLH07}, year = 2007 }