Deductive specification, design and verification systems(Dedukcyjne systemy specyfikowania, konstruowania i weryfikowania)KBN grant 8 T11C 037 16The project team:
mailto: all of the above
IPI PAN stands for the Polish Academy of
Sciences, Institute of Computer Science, Gdansk Division
Comments to webmaster@ipipan.gda.pl. Last modified: 16 September 1999 |