Work

Structured specification for program verification

Year: 2012

Type: conference-abstract

Source: International Conference on Knowledge and Systems Engineering/Proceedings

DOI: 10.1109/kse.2012.44

Author: Wei-Ngan Chin

Institution: National University of Singapore

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Ministry of Earth Sciences, Ministry of Education, India

OpenAlex ID: W2032234927

Cites:

Cited by:

Related to: 10