Wyniki wyszukiwania dla: Juncao Li
Lecture Notes in Computer Science > Computer Aided Verification > Session 6. Verification of Hardware and Low Level Code > 339-353
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification > 248-262
Lecture Notes in Computer Science > High Confidence Software Reuse in Large Systems > High Confidence and Reuse > 39-51
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Reachability and Model Checking > 141-155
The Journal of Systems & Software > 2010 > 83 > 2 > 235-252