<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-10-31 12:04:31Formal verification Computer science Formal specification Software development process Validation Formal methods Applied mathematics Science |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-10-31 12:04:31Formal verification Computer science Formal specification Software development process Validation Formal methods Applied mathematics Science |
Add to Reading List |
Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt