Search Results - "Predicate abstraction."

Select result number 1
1

Joining dataflow with predicates. by Fischer, Jeffrey

Published in Software engineering notes.

Call Number: loading...
Located: loading...

Article loading...

Add to Book Bag Remove from Book Bag
Select result number 2
2

Explaining abstract counterexamples. by Chaki, Sagar

Published in Software engineering notes.

Call Number: loading...
Located: loading...

Article loading...

Add to Book Bag Remove from Book Bag

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman