|
1 |
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Enthalten in Formal aspects of computing 5.2.2020: 1-2
|
|
|
|
2 |
An Approach to the Specification and Verification of a Hardware Compilation Scheme
Enthalten in The journal of supercomputing Bd. 19, Nr. 1, date:5.2001: 23-39
|
|
|
|
3 |
Algebraic approach to linking the semantics of web services
Enthalten in Innovations in systems and software engineering Bd. 7, 7.10.2011, Nr. 3, date:9.2011: 209-224
|
|
|
|
4 |
Egon Börger and Alexander Raschke: Modeling companion for software practitioners
Enthalten in Formal aspects of computing Bd. 30, 22.10.2018, Nr. 6, date:11.2018: 761-762
|
|
|
|
5 |
PTSC: probability, time and shared-variable concurrency
Enthalten in Innovations in systems and software engineering Bd. 5, 11.8.2009, Nr. 4, date:12.2009: 271-284
|
|
|
|
6 |
Specification, Verification and Prototyping of an Optimized Compiler
Enthalten in Formal aspects of computing Bd. 6, 10.11.2012, Nr. 6, date:12.1994: 643-658
|
|
|
|
7 |
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
Enthalten in Formal aspects of computing Bd. 32, 15.6.2020, Nr. 2-3, date:7.2020: 275-314
|
|
Administration
