Work

m-EVES: a tool for verifying software

Year: 2003

Type: conference-paper

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1109/icse.1988.93713

Authors: D. Craigen, S. Kromodimoeljo, I. Meisels, A. Neilson, B. Pase, M. Saaltink

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4254490414

FWCI: 0.204

Cites: 11

Cited by: 9

Related to: 10