%0 Conference Paper %1 conf/kbse/GanovKP11 %A Ganov, Svetoslav R. %A Khurshid, Sarfraz %A Perry, Dewayne E. %B ASE %D 2011 %E Alexander, Perry %E Pasareanu, Corina S. %E Hosking, John G. %I IEEE Computer Society %K %P 464-467 %T A case for alloy annotations for efficient incremental analysis via domain specific solvers. %U http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#GanovKP11 %@ 978-1-4577-1638-6

@inproceedings{conf/kbse/GanovKP11, added-at = {2023-12-13T01:01:25.000+0100}, author = {Ganov, Svetoslav R. and Khurshid, Sarfraz and Perry, Dewayne E.}, biburl = {https://www.bibsonomy.org/bibtex/259badb8379296734950ccbf2b5bf3590/admin}, booktitle = {ASE}, crossref = {conf/kbse/2011}, editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100100}, interhash = {6bc06fab6c9ea9a1c1d02b0d634bb60c}, intrahash = {59badb8379296734950ccbf2b5bf3590}, isbn = {978-1-4577-1638-6}, keywords = {}, pages = {464-467}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:01:25.000+0100}, title = {A case for alloy annotations for efficient incremental analysis via domain specific solvers.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#GanovKP11}, year = 2011 }