%0 Conference Paper %1 conf/cade/Nori12 %A Nori, Aditya V. %B ATx/WInG@IJCAR %D 2012 %E Fleuriot, Jacques D. %E Höfner, Peter %E McIver, Annabelle %E Smaill, Alan %I EasyChair %K dblp %P 54 %T Specification Inference and Invariant Generation: A Machine Learning Perspective. %U http://dblp.uni-trier.de/db/conf/cade/atx-wing2012.html#Nori12 %V 17

@inproceedings{conf/cade/Nori12, added-at = {2021-08-15T00:00:00.000+0200}, author = {Nori, Aditya V.}, biburl = {https://www.bibsonomy.org/bibtex/23f570fcb68ab9efb554de275aa1b7967/dblp}, booktitle = {ATx/WInG@IJCAR}, crossref = {conf/cade/2012atx}, editor = {Fleuriot, Jacques D. and Höfner, Peter and McIver, Annabelle and Smaill, Alan}, ee = {https://doi.org/10.29007/tx1s}, interhash = {6302cdad6470ed86cf89fd37505e6cd2}, intrahash = {3f570fcb68ab9efb554de275aa1b7967}, keywords = {dblp}, pages = 54, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:24.000+0200}, title = {Specification Inference and Invariant Generation: A Machine Learning Perspective.}, url = {http://dblp.uni-trier.de/db/conf/cade/atx-wing2012.html#Nori12}, volume = 17, year = 2012 }