Related Books
Language: en
Pages: 368
Pages: 368
Type: BOOK - Published: 1984 - Publisher:
Language: en
Pages: 546
Pages: 546
Type: BOOK - Published: 2004-06-17 - Publisher: Springer Science & Business Media
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and tran
Language: en
Pages: 182
Pages: 182
Type: BOOK - Published: 2021-10-05 - Publisher:
Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implement
Language: en
Pages: 412
Pages: 412
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media
Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su
Language: en
Pages: 191
Pages: 191
Type: BOOK - Published: 2003-06-29 - Publisher: Springer
