Formal Verification of Logic Programs: Foundations and Implementation (1997)

Cached

Download Links

by Robert F. Stärk
Venue:In Logical Foundations of Computer Science LFCS '97 --- Logic at Yaroslavl
Citations:4 - 0 self