Pieter Koopman
From MaRDI portal
Person:1929342
Available identifiers
zbMath Open koopman.pieterMaRDI QIDQ1929342
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Model Based Testing with Logical Properties versus State Machines | 2016-11-09 | Paper |
| Functional Semantics | 2014-04-16 | Paper |
| Trends in trends in functional programming 1999/2000 versus 2007/2008 | 2013-01-08 | Paper |
| An Introduction to iTasks: Defining Interactive Work Flows for the Web | 2009-02-03 | Paper |
| From Interpretation to Compilation | 2009-02-03 | Paper |
| Fully Automatic Testing with Functions as Specifications | 2009-01-15 | Paper |
| Automatic Testing of Higher Order Functions | 2008-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763387 | 2002-01-15 | Paper |
Research outcomes over time
This page was built for person: Pieter Koopman
