de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Knowledge-based verification of service compositions
II Contributions
5 Automating Correctness Proofs using First-order Logic
5.4 Deriving Invariants and Termination Functions
5.4.1 Finding Loop Invariants using Domain Knowledge
Loading...
Loading image ...