Work

Teaching Program Specification and Verification Using JML and ESC/Java2

Year: 2009

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-04912-5_7

Author: Erik Poll

Institution: Radboud University Nijmegen

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: green

OpenAlex ID: W2156563939

FWCI: 0.944

Cites: 28

Cited by: 11

Related to: 10