Skip to main navigation Skip to search Skip to main content

Organizing the world’s machine learning information

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer
Pages693-708
Number of pages16
ISBN (Electronic)978-3-540-88479-8
ISBN (Print)978-3-540-88478-1
DOIs
Publication statusPublished - 2008
Externally publishedYes

Publication series

NameCommunications in Computer and Information Science
Volume17

Cite this