English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Formal techniques in software engineering: Correct software and safe systems
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2007
Conference Paper
Title
Formal techniques in software engineering: Correct software and safe systems
Author(s)
Liggesmeyer, P.
Mainwork
Theorem proving in higher order logics.20th international conference, TPHOLs 2007
Conference
International Conference on Theorem Proving in Higher-Order Logics, TPHOLs 2007
Language
English
Fraunhofer-Institut für Experimentelles Software Engineering IESE
