Concepedia
Information and Control · 1975 · 22 citations · 2 references
Software MaintenanceFormal SpecificationEngineeringAutomated ReasoningProgram AnalysisAbstract InterpretationFormal MethodsSoftware AnalysisSoftware EngineeringProgram SchemasFormal TechniqueComputer ScienceFormal VerificationSoftware Design
2
On formalised computer programs
D Luckham, D.M.R. Park, Mike Paterson · Journal of Computer and System Sciences · 1970 · 221 citations
Computer Programs, Programming Language Theory, Formal Specification +8
Comparing Algebraic Structures up to Algorithmic Equivalence.
Denis J. Kfoury · International Colloquium on Automata, Languages and Programming · 1972 · 23 citations