Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
properties functionality » protein functionality
blocking properties » bonding properties, baking properties, breaking properties
functionality java » functionality maps, functionality iv, functionality part
parallel blocking » parallel block, parallel tracking, parallel working
https » http
properties functionality » protein functionality
blocking properties » bonding properties, baking properties, breaking properties
functionality java » functionality maps, functionality iv, functionality part
parallel blocking » parallel block, parallel tracking, parallel working
https » http
1
Published 2013
Table of Contents:
“... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”View full text
Electronic
eBook