×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Abadi, MartĂ­n (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 295-320 (1997).
PDF BibTeX XML Cite