Deductive specification, design and verification systems

(Dedukcyjne systemy specyfikowania, konstruowania i weryfikowania)

KBN grant 8 T11C 037 16


The project team:

mailto: all of the above

IPI PAN stands for the Polish Academy of Sciences, Institute of Computer Science, Gdansk Division
IM UG stands for the University of Gdansk, Institute of Mathematics, Division of Computer Science


Comments to webmaster@ipipan.gda.pl.
Last modified: 16 September 1999

Powered by APACHE