Works matching DE "EIFFEL (Computer program language)"
Results: 4
Rules for effective language design.
- Published in:
- Ada User Journal, 2012, v. 33, n. 3, p. 199
- By:
- Publication type:
- Article
Filling the Void: the application of Free Logic to programming.
- Published in:
- Hermathena, 2011, n. 191, p. 69
- By:
- Publication type:
- Article
AutoProof meets some verification challenges.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 745, doi. 10.1007/s10009-014-0300-y
- By:
- Publication type:
- Article
On the number and nature of faults found by random testing.
- Published in:
- Software Testing: Verification & Reliability, 2011, v. 21, n. 1, p. 3, doi. 10.1002/stvr.415
- By:
- Publication type:
- Article