Work

Development via Refinement in Probabilistic B — Foundation and Case Study

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11415787_21

Authors: Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan

Institutions: UNSW Sydney, Data61, Macquarie University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: University of New South Wales, Australian Research Council

OpenAlex ID: W1481858916

FWCI: 0.716

Cites: 23

Cited by: 7

Related to: 10