| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Analysis and formal specification of OpenJDK's BitSet: Proof files
|
Tatman, Andy S.
|
|
|
241 |
C |
p.
|
artikel
|
| 2 |
An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning
|
Vermaelen, Jan
|
|
|
241 |
C |
p.
|
artikel
|
| 3 |
API comparison based on the non-functional information mined from Stack Overflow
|
Chen, Zhiqi
|
|
|
241 |
C |
p.
|
artikel
|
| 4 |
Assessing the coverage of W-based conformance testing methods over code faults
|
El-Fakih, Khaled
|
|
|
241 |
C |
p.
|
artikel
|
| 5 |
CAN-Verify: Automated analysis for BDI agents
|
Xu, Mengwei
|
|
|
241 |
C |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
|
241 |
C |
p.
|
artikel
|
| 7 |
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal
|
Mahe, Erwan
|
|
|
241 |
C |
p.
|
artikel
|
| 8 |
Parametric ontologies in formal software engineering
|
Brucker, Achim D.
|
|
|
241 |
C |
p.
|
artikel
|
| 9 |
Verification of forward simulations with thread-local, step-local proof obligations
|
Schellhorn, Gerhard
|
|
|
241 |
C |
p.
|
artikel
|
| 10 |
VisFork: Towards a toolsuite for visualizing fork ecosystems
|
Chen, Siyue
|
|
|
241 |
C |
p.
|
artikel
|
Tijdschrift beschrijving