| Author | Guttmann, Walter | dc.contributor.author |
| Author | Struth, Georg | dc.contributor.author |
| Author | Weber, Tjark | dc.contributor.author |
| Editor | Qin, S. | dc.contributor.editor |
| Editor | Qiu, Z. | dc.contributor.editor |
| Date of accession | 2020-03-06T09:42:48Z | dc.date.accessioned |
| Available in OPARU since | 2020-03-06T09:42:48Z | dc.date.available |
| Date of first publication | 2011 | dc.date.issued |
| Language | en_US | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
| Title | Automating Algebraic Methods in Isabelle | dc.title |
| Resource type | Beitrag zu einer Konferenz | dc.type |
| Faculty | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.affiliationGeneral |
| Institution | Institut für Programmiermethodik und Compilerbau | uulm.affiliationSpecific |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| DOI (external) | 10.1007/978-3-642-24559-6_41 | dc.identifier.doiExternal |
| Source - Title of source | Formal Methods and Software Engineering | source.title |
| Source - Publisher | Berlin | source.publisherPlace |
| Source - Publisher | Heidelberg | source.publisherPlace |
| Source - Place of publication | Springer-Verlag | source.publisher |
| Source - Year | 2011 | source.year |
| Source - From page | 617 | source.fromPage |
| Source - To page | 632 | source.toPage |
| Source - Serial | Lecture Notes in Computer Science ; 6991 | source.series |
| Source - ISBN | 978-3-642-24558-9 | source.identifier.isbn |
| Source - ISBN | 978-3-642-24559-6 | source.identifier.isbn |
| Conference name | International Conference on Formal Engineering Methods | uulm.conferenceName |
| Conference place | Durham | uulm.conferencePlace |
| Conference start date | 2011-10-26 | uulm.conferenceStartDate |
| Conference end date | 2011-10-28 | uulm.conferenceEndDate |
| Community | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.community |
| Bibliography | uulm | uulm.bibliographie |
