Paweł Pietrzak

PP

Statistics

Publications

2

Citations

23

H-Index

2

Active since

2002

Paweł Pietrzak is an author at Universidad Politécnica de Madrid specializing in formal methods, type checking, and type systems.

Publications per year

2002–2008

2

Publications

2