News
Programme of the 12th KeY Symposium in Lörrach
formal.kastel.kit.edu
Marco Drebing. 11: :00, Symbolic Execution with Specifications (Debugger and Term Labels) Martin Hentschel. 12: :15, Recent Java Dynamic ...
Programme of the 12th KeY Symposium in Lörrach
i12www.ira.uka.de
Marco Drebing. 11: :00, Symbolic Execution with Specifications (Debugger and Term Labels) Martin Hentschel. 12: :15, Recent Java Dynamic Logic calculus optimizations. Christoph Scheben. 12: :30, Recursive Methods and Datatypes - A Look At Verifun and KeY. Nathan Wasser.
sortiert nach Relevanz / Datum