KBN 1999 grant

Deductive specification, design and verification systems

(Dedukcyjne systemy specyfikowania, konstruowania i weryfikowania)

KBN grant 8 T11C 037 16

Joint research project by IPI PAN (Polish Academy of Sciences, Institute of Computer Science, Gdansk Division) and by IM UG (University of Gdansk, Institute of Mathematics, Division of Computer Science.

The project team

Project descriptions:

(in Polish only, sorry)

Brief description
More detailed description (in postscript too)

Some project papers and working notes

Scientific trips supported by the grant

Seminars presented elsewhere

Meetings

Final report (Syntetyczne omówienie wyników poznawczych)

(in Polish only, sorry)

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