Publication | Closed Access
Mathematical Foundations for Structured Programming
115
Citations
4
References
1972
Year
Unknown Venue
Mathematical ProgrammingProgramming Language TheoryDeclarative ProgrammingEngineeringAutomated ReasoningFormal MethodsMathematical FoundationsLinear ProgrammingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1