%0 Conference Paper %1 conf/atva/Liu04 %A Liu, Shaoying %B ATVA %D 2004 %E Wang, Farn %I Springer %K dblp %P 15-19 %T An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. %U http://dblp.uni-trier.de/db/conf/atva/atva2004.html#Liu04 %V 3299 %@ 3-540-23610-4

@inproceedings{conf/atva/Liu04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Liu, Shaoying}, biburl = {https://www.bibsonomy.org/bibtex/22aa0eda68cf32dc954e59f52546a42a4/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2004}, editor = {Wang, Farn}, ee = {https://doi.org/10.1007/978-3-540-30476-0_6}, interhash = {a3ccd0b7d0eaabaaabf0437528ced3cb}, intrahash = {2aa0eda68cf32dc954e59f52546a42a4}, isbn = {3-540-23610-4}, keywords = {dblp}, pages = {15-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2004.html#Liu04}, volume = 3299, year = 2004 }