×

Found 2 Documents (Results 1–2)

Towards abstraction-based verification of shape calculus. (English) Zbl 1283.68235

Feret, Jérôme (ed.) et al., Proceedings of the 2nd international workshop on static analysis and systems biology (SASB 2011), Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 284, 23-34 (2012).
MSC:  68Q85 52B55 92C42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

Year of Publication

all top 3

Main Field

Software