NVER, okruh č. 55

Deduktivní verifikace anotovaných programů.

Materiály

Zatím tu nejsou žádné materiály.

Použito také ve specializacích

• NVER – Verifikace a testování software, č. 55