Wyniki wyszukiwania dla: Marc Pouzet
Nonlinear Analysis: Hybrid Systems > 2017 > 26 > C > 168-189
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 134-155
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 288-309
Science of Computer Programming > 2015 > 111 > Part 1 > 190-211
Journal of Computer and System Sciences > 2012 > 78 > 3 > 877-910
Design Automation for Embedded Systems > 2010 > 14 > 3 > 165-192
International Journal on Software Tools for Technology Transfer > 2004 > 6 > 3 > 245-255
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 5 > 849-862
Electronic Notes in Theoretical Computer Science > 1998 > 11 > Complete > 1-21