Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications/d.2.1.1: languages 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.4: pre- and post-conditions 3 Treffer
- automatic theorem provers 3 Treffer
- interactive proof assistants 3 Treffer
- static analysis of programs 3 Treffer
Sprache
4 Treffer
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff: