Publication | Closed Access
Generic screen representations for future-proof systems, is it possible?
17
Citations
9
References
2009
Year
EngineeringAutomated ReasoningVerificationDesignFormal MethodsProof AssistantAutomated ProofComputer ScienceFormal VerificationVisual ModelingGeneric Screen Representations
| Year | Citations | |
|---|---|---|
Page 1
Page 1