Wyniki wyszukiwania dla: Vincenzo Ciancia
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 289-311
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 23-41
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 625-641
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Binding > 365-380
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Models of Computation > 544-562
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 326-348
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Specification Framework I > 134-148
Journal of Automated Reasoning > 2012 > 49 > 2 > 161-183
Composite Structures > 2011 > 93 > 9 > 2368-2374
Information and Computation > 2010 > 208 > 12 > 1349-1367
Science of Computer Programming > 2010 > 75 > 10 > 848-878
Electronic Notes in Theoretical Computer Science > 2010 > 264 > 2 > 63-81
Electronic Notes in Theoretical Computer Science > 2010 > 260 > Complete > 73-89
Electronic Notes in Theoretical Computer Science > 2008 > 203 > 5 > 49-70
Electronic Notes in Theoretical Computer Science > 2007 > 190 > 3 > 43-58