Work

Formal Techniques for Java-Like Programs

Year: 2009

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-02047-6_8

Authors: Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad

Institutions: Universidad Complutense de Madrid, Kansas State University, Imperial College London, University of Twente, Kyoto University, University of Central Florida, ETH Zurich, Purdue University West Lafayette

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1527032490

FWCI: 0.355

Cites: 6

Cited by: 10

Related to: 10