Work

Astree: Nachweis der Abwesenheit von Laufzeit.

Year: 2009

Type: article

Source: Softwaretechnik-Trends

Authors: Daniel L. Kastner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Ferêt, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims

Language: German

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2398358803

FWCI:

Cites:

Cited by: 2

Related to: 10