Results 281 to 285 of about 340,216 (285)

Formal derivation of a list processing program

Information Processing Letters, 1980
exaly  

Introducing formal derivation into the design and analysis of algorithms

2009
exaly  

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications

1997
exaly  

Characterization of derivation sets of formal systems

2005
exaly  

Derivative and formal suffixes (§ § 23–37)

1992
openaire   +1 more source