English version

Testing and Proving Behavioural Refinement

Testing and Proving Behavioural Refinement

Arnould A., Le Gall P., Mossakowski T.
June 2006
Télécharger la publication :  pdf  ps   ps 

Références BibTex

@Misc{ALM2006_1334,
author = {Arnould, A. and Le Gall, P. and Mossakowski, T.},
title = {Testing and Proving Behavioural Refinement.},
month = {June},
year = {2006},
keywords = {behavioural refinement, proof, formal testing, CASL, institutions},
url = {http://www.wadt.be},
}