Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren/9783036598376.png "Implementing the 3Rs in Laboratory Animal Research")
/9783031331626.png "Rigorous State-Based Methods")
/9783030232191.png "Recent Trends in Algebraic Development Techniques")
/9783319708478.png "Formal Methods: Foundations and Applications")
/9783319522272.png "Unifying Theories of Programming")
/9783319471655.png "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques")
/9783319471686.png "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications")
/9783319335995.png "Abstract State Machines, Alloy, B, TLA, VDM, and Z")
/9783319325811.png "Model Checking Software")
/9781447157458.png "Formal Methods: State of the Art and New Directions")
/9783642195884.png "Web Services and Formal Methods")
/9783642081644.png "Program Design Calculi")
/9783642086779.png "Petri Net Algebra")
/9783540857778.png "Formal Modeling and Analysis of Timed Systems")
/9783540378730.png "Relations and Kleene Algebra in Computer Science")
/9783540292098.png "Automated Technology for Verification and Analysis")
/9783540255598.png "ZB 2005: Formal Specification and Development in Z and B")
/9783540242970.png "Verification, Model Checking, and Abstract Interpretation")
/9783540213772.png "Integrated Formal Methods")
/9783540205272.png "Formal Methods at the Crossroads. From Panacea to Foundational Support")
/9783540417910.png "FME 2001: Formal Methods for Increasing Software Productivity")
/9783211830468.png "Forschung ohne Tierversuche 2000")
/9783540585558.png "FME '94: Industrial Benefit of Formal Methods")
/9783540569435.png "Program Design Calculi")