×

Found 11 Documents (Results 1–11)

Refining specifications to programmable logic. (English) Zbl 1270.68086

Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 37-49 (2002).
MSC:  68N30 03B70 68Q60
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software