×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 95-107, electronic only (2014).
MSC:  68T20 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 63-74, electronic only (2014).
MSC:  68Q60 03B44 90B20
PDF BibTeX XML Cite
Full Text: DOI
Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 3-12, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Classification
all top 3
Software