Jacek Chrzaszcz

发表

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2006, Log. Methods Comput. Sci..
Aleksy Schubert, Maciej Zielenkiewicz, Jacek Chrzaszcz, 2015, SOFSEM.
Aleksy Schubert, Patryk Czarnik, Jacek Chrzaszcz, 2011, Electron. Notes Theor. Comput. Sci..
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2010, ITP.
Jacek Chrzaszcz, J. Chrzaszcz, 2003, TYPES.
Jakub Zakrzewski, Aleksy Schubert, Jacek Chrzaszcz, 2016, TYPES.
Aleksy Schubert, Patryk Czarnik, Jacek Chrzaszcz, 2018, VSTTE.
Aleksy Schubert, Jacek Chrzaszcz, 2016, Inf. Comput..
Aleksy Schubert, Maciej Zielenkiewicz, Jacek Chrzaszcz, 2014, ArXiv.
Aleksy Schubert, Jacek Chrzaszcz, 2012, CSL.
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2006, IJCAR.
Janusz Jablonowski, Jacek Chrzaszcz, Pawel Brach, 2011, CompSysTech '11.
Andrzej Tarlecki, Aleksy Schubert, Patryk Czarnik, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Marieke Huisman, Aleksy Schubert, Jacek Chrzaszcz, 2009, FMCO.
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2007, Rewriting, Computation and Proof.
Aleksy Schubert, Jacek Chrzaszcz, Aleksy Schubert, 2018, ArXiv.
Aleksy Schubert, Jacek Chrzaszcz, Tomasz Stachowicz, 2006, SET.
Jean-Pierre Jouannaud, Jacek Chrzaszcz, J. Jouannaud, 2006, Essays Dedicated to Joseph A. Goguen.
Aleksy Schubert, Jacek Chrzaszcz, Tomasz Stachowicz, 2005, Software Engineering: Evolution and Emerging Technologies.
Aleksy Schubert, Jacek Chrzaszcz, Aleksy Schubert, 2011, Inf. Comput..