Aug 2, 2019
Oct 5, 2017
32
21
https://dbc.wroc.pl/publication/40400
Edition name | Date |
---|---|
Trustworthy Assembly of Components Using the B Refinement | Aug 2, 2019 |
Samuel, Philip Mall, Rajib Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Hnatkowska, Bogumiła Kasprzyk, Krzysztof Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Yu, Liguo Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Trendowicz, Adam Ochs, Michael Wickenkamp, Axel Münch, Jürgen Ishigai, Yasushi Kawaguchi, Takashi Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Osis, Janis Asnina, Erika Grave, Andrejs Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Pahl, Claus Barrett, Ronan Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Martenka, Paweł Walter, Bartosz Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja
Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja