Automating Algebraic Methods in Isabelle
Beitrag zu einer Konferenz
Authors
Guttmann, Walter
Struth, Georg
Weber, Tjark
Editor
Qin, S.Qiu, Z.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished 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_41Conference
International Conference on Formal Engineering Methods, 2011-10-26 - 2011-10-28, Durham