Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
properties functionality » protein functionality
functionality blocking » functional blocking, functionality using, function blocking
java properties » data properties, a properties, fat properties
blocking https » blocking steps, banking https, blocking sets
parallel java » parallel data, parallel scara, parallel a
properties functionality » protein functionality
functionality blocking » functional blocking, functionality using, function blocking
java properties » data properties, a properties, fat properties
blocking https » blocking steps, banking https, blocking sets
parallel java » parallel data, parallel scara, parallel a
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