Formal methods in the development of premo - Concepedia

Concepedia

Publication | Closed Access

Formal methods in the development of premo

13

Citations

9

References

1995

Year

David Duce, David Duke, Paul J. W. ten Hagen, Iván Herman, G.J. Reynolds

Computer Standards & Interfaces

Architectural DesignFormal SpecificationEngineeringFormal ModelingAutomated ReasoningDesignFormal MethodsSoftware EngineeringSocial SciencesFormalizationSoftware Design

References

	Year	Citations

Page 1