%0 Conference Paper %1 conf/date/MukherjeeJF95 %A Mukherjee, Rajarshi %A Jain, Jawahar %A Fujita, Masahiro %B ED&TC %D 1995 %I IEEE Computer Society %K dblp %P 444-448 %T VERIFUL: VERIfication using FUnctional Learning. %U http://dblp.uni-trier.de/db/conf/date/edtc1995.html#MukherjeeJF95 %@ 0-8186-7039-8

@inproceedings{conf/date/MukherjeeJF95, added-at = {2022-05-20T00:00:00.000+0200}, author = {Mukherjee, Rajarshi and Jain, Jawahar and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/27efbd9394514661733c99973f0ee6e07/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1995}, ee = {https://dl.acm.org/doi/10.5555/787258.787476}, interhash = {04aef37bc95e1e6a3aa8eec2b38af319}, intrahash = {7efbd9394514661733c99973f0ee6e07}, isbn = {0-8186-7039-8}, keywords = {dblp}, pages = {444-448}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:36:04.000+0200}, title = {VERIFUL: VERIfication using FUnctional Learning.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1995.html#MukherjeeJF95}, year = 1995 }