| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Comparing session type systems derived from linear logic
|
van den Heuvel, Bas
|
|
|
142 |
C |
p.
|
artikel
|
| 2 |
Editorial Board
|
|
|
|
142 |
C |
p.
|
artikel
|
| 3 |
Executable contracts for Elixir
|
Bueso de Barrio, Luis Eduardo
|
|
|
142 |
C |
p.
|
artikel
|
| 4 |
First order Büchi automata and their application to verification of LTL specifications
|
Zhang, Wenhui
|
|
|
142 |
C |
p.
|
artikel
|
| 5 |
Maude2Lean: Theorem proving for Maude specifications using Lean
|
Rubio, Rubén
|
|
|
142 |
C |
p.
|
artikel
|
| 6 |
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar
|
Cerone, Antonio
|
|
|
142 |
C |
p.
|
artikel
|
| 7 |
On the expressiveness and efficiency of guarded lists in Bach
|
Barkallah, Manel
|
|
|
142 |
C |
p.
|
artikel
|
| 8 |
Partially typed multiparty sessions with internal delegation
|
Barbanera, Franco
|
|
|
142 |
C |
p.
|
artikel
|
| 9 |
The expression dependence graph
|
Galindo, Carlos
|
|
|
142 |
C |
p.
|
artikel
|
| 10 |
Towards an efficient implementation of a tableau method for reactive safety specifications
|
Alonso, Ander
|
|
|
142 |
C |
p.
|
artikel
|
| 11 |
Tuning similarity-based fuzzy logic programs
|
Moreno, Ginés
|
|
|
142 |
C |
p.
|
artikel
|
Tijdschrift beschrijving