![Computing / Theoretical computer science / Formal methods / Software architecture / Logic in computer science / Proof assistant / Isabelle / Graphical user interface / Window / User interface techniques / Software / Automated theorem proving Computing / Theoretical computer science / Formal methods / Software architecture / Logic in computer science / Proof assistant / Isabelle / Graphical user interface / Window / User interface techniques / Software / Automated theorem proving](https://www.pdfsearch.io/img/d9258d41a247f2ac8918dbed08fe6cf5.jpg)
| Document Date: 2010-02-16 04:30:00 Open Document File Size: 313,94 KBShare Result on Facebook
/ Facility Bremen Institute / / IndustryTerm formal method tools / implementation technology / / Organization German Ministry for Education and Research / Bremen Institute for Safe Systems / Institut f¨ / / Person B. Wolff Isabelle / B. Wolff Clipboard / / Position Archer / Navigating forward / / Product IS / / ProgrammingLanguage Tcl/Tk / ML / Standard ML / T / L / / Technology Functional Programming / command line interface / implementation technology / Java / GUI / /
SocialTag |