Automating Algebraic Methods in Isabelle
Erstveröffentlichung
2011Herausgeber
Qin, S.Qiu, Z.
Beitrag zu einer Konferenz
Erschienen in
Formal Methods and Software Engineering. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (Lecture Notes in Computer Science ; 6991). - S. 617-632. - ISBN 978-3-642-24558-9, ISBN 978-3-642-24559-6
Link zur Veröffentlichung
https://dx.doi.org/10.1007/978-3-642-24559-6_41Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Programmiermethodik und CompilerbauKonferenz
International Conference on Formal Engineering Methods, 2011-10-26 - 2011-10-28, Durham