Font Size:
a
A
A
Keyword [Specification Refinement]
Result: 1 - 4 | Page: 1 of 1
1.
Research And Implementation Of The First Order Predicate Logic Operator Automatic Refinement In Z Specification
2.
Implementation Of An Industrial Safety Protocol Model By Using TLA
3.
Type-Directed Specification Refinement
4.
TPaxos In PaxosStore:Specification,Refinement,and Theorem Proving
<<First
<Prev Next>
Last>>
Jump to
