C.P.T. deGouw

发表

CWI verhelpt bug in Java met formele methoden - Computable

C.P.T. deGouw, F. S. deBoer, 2015 .

CWI fixt Java-bug met formele methoden - Engineeringnet.be

C.P.T. deGouw, F. S. deBoer, 2015 .

Run-time checking multi-threaded java programs

C.P.T. deGouw, F. S. deBoer, 2016 .

Promovendus vindt fouten in Java - Automatiseringgids.nl

C.P.T. deGouw, F. S. deBoer, 2013 .

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

C.P.T. deGouw, F. S. deBoer, 2013 .

Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl

C.P.T. deGouw, F. S. deBoer, 2013 .

CWI herstelt fundamentele fout in Java - Automatiseringgids.nl

C.P.T. deGouw, F. S. deBoer, 2015 .

Bug in Java gerepareerd met formele methoden CWI - Engineersonline.nl

C.P.T. deGouw, F. S. deBoer, 2015 .

Combining Monitoring with Run-Time Assertion Checking

C.P.T. deGouw, F. S. deBoer, 2013 .

Fixing the Sorting Algorithm for Android, Java and Python

C.P.T. deGouw, F. S. deBoer, 2015 .

Being and Change: Reasoning About Invariance

C.P.T. deGouw, F. S. deBoer, 2015 .