Formal Specification-Based Inspection for Verification of Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 5, p. 1100, doi. 10.1109/TSE.2011.102
- By:
- Publication type:
- Article
Works by Nagoya, Fumiko
Results: 2
1
2
Development of a Web Dictionary System Using SOFL.
- Published in:
- Wireless Personal Communications, 2017, v. 94, n. 2, p. 253, doi. 10.1007/s11277-016-3291-z
- By:
- Publication type:
- Article