| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A big step from finite to infinite computations
|
Ancona, Davide
|
|
|
197 |
C |
p.
|
artikel
|
| 2 |
Abstracting gradual references
|
Toro, MatÃas
|
|
|
197 |
C |
p.
|
artikel
|
| 3 |
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018)
|
Butler, Michael
|
|
|
197 |
C |
p.
|
artikel
|
| 4 |
A domain-specific language for verifying software requirement constraints
|
Vidal, Marzina
|
|
|
197 |
C |
p.
|
artikel
|
| 5 |
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP
|
Lima, Lucas
|
|
|
197 |
C |
p.
|
artikel
|
| 6 |
A polymorphic RPC calculus
|
Choi, Kwanghoon
|
|
|
197 |
C |
p.
|
artikel
|
| 7 |
CHOReVOLUTION: Service choreography in practice
|
Autili, Marco
|
|
|
197 |
C |
p.
|
artikel
|
| 8 |
Editorial Board
|
|
|
|
197 |
C |
p.
|
artikel
|
| 9 |
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping
|
Gadea, Alejandro
|
|
|
197 |
C |
p.
|
artikel
|
| 10 |
Reshape your layouts, not your programs: A safe language extension for better cache locality
|
Tasos, Alexandros
|
|
|
197 |
C |
p.
|
artikel
|
| 11 |
Trace semantics and refinement patterns for real-time properties in event-B models
|
Zhu, Chenyang
|
|
|
197 |
C |
p.
|
artikel
|
| 12 |
Unifying semantic foundations for automated verification tools in Isabelle/UTP
|
Foster, Simon
|
|
|
197 |
C |
p.
|
artikel
|
Tijdschrift beschrijving