Learning meets Verification
| Title | Learning meets Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Leucker, M |
| Conference Name | Lecture Notes in Computer Science |
| Volume | 4709 |
| Publisher | Springer |
Bibtex:
@inproceedings {DBLP:conf/fmco/Leucker07,
title = {Learning meets Verification},
booktitle = {Lecture Notes in Computer Science},
volume = {4709},
year = {2007},
pages = {127-151},
publisher = {Springer},
organization = {Springer},
author = {Martin Leucker}
}PDF:
Postscript:
