Work

Java Applet Correctness: A Developer-Oriented Approach

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

Parent work: FME 2003: Formal Methods

DOI: 10.1007/978-3-540-45236-2_24

Authors: Lilian Burdy, Antoine Requet, Jean-Louis Lanet

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1486696980

FWCI: 9.364

Cites: 18

Cited by: 109

Related to: 10