pdf-format: |
|
@Article{bundy_et_al:DR:2012:3731, author = {Alan Bundy and Dieter Hutter and Cliff B. Jones and J Strother Moore}, title = {{AI meets Formal Software Development (Dagstuhl Seminar 12271)}}, pages = {1--29}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {7}, editor = {Alan Bundy and Dieter Hutter and Cliff B. Jones and J Strother Moore}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3731}, URN = {urn:nbn:de:0030-drops-37318}, doi = {10.4230/DagRep.2.7.1}, annote = {Keywords: Learning of proof processes and strategies, Theory development, Formal software development, Automated reasoning, Formal modelling,} }
Keywords: | Learning of proof processes and strategies, Theory development, Formal software development, Automated reasoning, Formal modelling, | |
Freie Schlagwörter (englisch): | Industrial use of formal methods | |
Seminar: | Dagstuhl Reports, Volume 2, Issue 7 | |
Issue date: | 2012 | |
Date of publication: | 05.10.2012 |