×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 282-298 (2003).
MSC:  68Q85 68M14 03B70
PDF BibTeX XML Cite
Full Text: Link
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, 250-266 (1997).
MSC:  03B45 03B80 68Q10
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification
Software