Sciweavers

ENTCS
2010

OOPS: An S5n Prover for Educational Settings

13 years 9 months ago
OOPS: An S5n Prover for Educational Settings
Gert van Valkenhoef, Elske van der Vaart, Rineke V
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where ENTCS
Authors Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge
Comments (0)