|
Isabelle/SACM : computer-assisted assurance cases with integrated formal methods / / Yakoub Nemouchi, Simon Foster, Mario Gleirscher, and Tim Kelly --
|
2019
|
1
|
|
The Isadora Duncan dancers -- / Part III
|
1993
|
1
|
|
|
|
1
|
|
Isaia (Book of the Old Testament) -- See Bible. Isaiah
|
|
1
|