A case study on the automated verification of groupware protocols - Sciweavers

24

click to vote

more ICSE 2005 ...

fmt.isti.cnr.it

Tweet