Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education

Authors:
T. H. Tse
Affiliations:
-
Venue:
Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference on Software Engineering Education
Year:
1993

Citing 0
Cited 1

Formal Methods: The Problem Is Education

SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract