Skip to content

Testing with Inputs and Outputs in CSP.

Ana Cavalcanti, Robert M. Hierons

VenueBFASE
Year2013
ProceedingsFASE

Browse the full FASE paper archive.