Publikacje

Czasopismo: Science Of Computer Programming

Liczba publikacji: 4

2018

• Kamil Kedzia, Wojtek Ptak, Jacek Sroka i Andrzej M. Kierzek, Simulation of multicellular populations with Petri nets and genome scale intracellular networks, Science Of Computer Programming 157 2018, s. 3–16.zobacz w PBN

2017

• Mihai Codescu, Till Mossakowski, Donald Sannella i Andrzej Tarlecki, Specification refinements: Calculi, tools, and applications, Science Of Computer Programming 144 2017, s. 1–49.zobacz w PBN

1997

• Michal Iglewski i Janina Mincer-Daszkiewicz, Internal design of modules specified in the trace assertion method, Science Of Computer Programming 28 (2-3) 1997, s. 139–170.zobacz w PBN

1995

• David Lorge Parnas i Jan Madey, Functional documents for computer systems, Science Of Computer Programming 25 1995, s. 41–61.zobacz w PBN