Search alternatives:
component contract » component conflict (Expand search), component context (Expand search), componente controle (Expand search)
contract program » contrato programa (Expand search), control program (Expand search), contratos programa (Expand search)
casting python » casting method (Expand search), using python (Expand search)
using casting » using resting (Expand search), using cutting (Expand search), using coating (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
in component » in components (Expand search), main component (Expand search), and component (Expand search)
code in » code and (Expand search)
Showing 1 - 6 results of 6 for search '(( code in component contract program ) OR ( using casting python python programming ))*', query time: 0.83s Refine Results
2
Published 2011
Subjects: “...Program verification...”
Access document
4
Published 2010
“... of a component annotated with a contract into a system will preserve the correct behavior of the former, avoiding...”
Access document
Article
Export CSV Export RIS