Automating Algebraic Methods in Isabelle
Erstveröffentlichung
2011Editor
Qin, S.Qiu, Z.
Beitrag zu einer Konferenz
Published 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 to publication
https://dx.doi.org/10.1007/978-3-642-24559-6_41Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
International Conference on Formal Engineering Methods, 2011-10-26 - 2011-10-28, Durham