×

Found 2 Documents (Results 1–2)

C Wolf – A toolset for extracting models from C programs. (English) Zbl 1037.68521

Peled, Doron A. (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2002. 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00141-7/pbk). Lect. Notes Comput. Sci. 2529, 260-275 (2002).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software