|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A formalization of geometric constraint systems and their decomposition |
Mathis, Pascal |
2009 |
22 | 2 |
p. 129-151 |
article |
|
| 2 | Algebra and logic for access control |
Collinson, Matthew |
2009 |
22 | 2 |
p. 83-104 |
article |
|
| 3 | A process algebraic framework for specification and validation of real-time systems |
Sherif, Adnan |
2009 |
22 | 2 |
p. 153-191 |
article |
|
| 4 | Generating certified code from formal proofs: a case study in homological algebra |
Aransay, Jesús |
2009 |
22 | 2 |
p. 193-213 |
article |
|
| 5 | Verification and falsification of programs with loops using predicate abstraction |
Kroening, Daniel |
2009 |
22 | 2 |
p. 105-128 |
article |
5 results found