| 
|
Quote: semiautomatic proof of temporal theorems from TRIO axioms
topics >
all references >
references c-d >
Topic:
theorem proving systems
Quotation Skeleton
Given a set of TRIO axioms and a … from the axioms [Alborghetti et al, Proc ESEC/FSE '97]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: theorem proving systems (20 items)