Search results for: Andrzej Tarlecki
Science of Computer Programming > 2017 > 144 > C > 1-49
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 341-357
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Models of Computation > 593-617
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 161-176
Lecture Notes in Computer Science > Automata, Languages and Programming > Specification and Deduction > 993-1004
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 266-289
Lecture Notes in Computer Science > CASL User Manual > Carrying On > 125-129