%0 Conference Paper %1 conf/icse/DengDHM02 %A Deng, Xianghua %A Dwyer, Matthew B. %A Hatcliff, John %A Mizuno, Masaaki %B ICSE %D 2002 %E Tracz, Will %E Young, Michal %E Magee, Jeff %I ACM %K dblp %P 442-452 %T Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. %U http://dblp.uni-trier.de/db/conf/icse/icse2002.html#DengDHM02

@inproceedings{conf/icse/DengDHM02, added-at = {2020-12-29T00:00:00.000+0100}, author = {Deng, Xianghua and Dwyer, Matthew B. and Hatcliff, John and Mizuno, Masaaki}, biburl = {https://www.bibsonomy.org/bibtex/29aeef5b4689b3ca4eae54db8dc34deca/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2002}, editor = {Tracz, Will and Young, Michal and Magee, Jeff}, ee = {https://doi.org/10.1145/581339.581394}, interhash = {737ca016ce142c8a4b70fbe08c14eb82}, intrahash = {9aeef5b4689b3ca4eae54db8dc34deca}, keywords = {dblp}, pages = {442-452}, publisher = {ACM}, timestamp = {2024-04-10T05:36:17.000+0200}, title = {Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2002.html#DengDHM02}, year = 2002 }