You are not logged in | Log in

PL /
EN

Journal: ACM Computing Surveys

Number of publications: 1

1999

Donald Sannella, Andrzej Tarlecki , Algebraic Methods for Specification and Formal Development of Programs, ACM Computing Surveys, 1999. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Rozwój e-usług Uniwersytetu Warszawskiego związanych z edukacją

Erasmus Without Paper

Rozwój e-usług Uniwersytetu Warszawskiego związanych z edukacją