Publication | Closed Access
Specification and verification
187
Citations
13
References
2011
Year
EngineeringMultilingualismVerificationSoftware EngineeringSoftware AnalysisFormal VerificationProgramming Language TeachingLanguage StudiesAutomatic ProgrammingProgramming LanguagesFormal SpecificationProgramming Language ImplementationComputer ScienceSoftware DesignProgramming Language DesignSpecification LanguageAutomated ReasoningProgram AnalysisProgram ComprehensionFormal MethodsLinguisticsSystem Specification
Can a programming language really help programmers write better programs?
| Year | Citations | |
|---|---|---|
Page 1
Page 1