Search results for: Jorge Sousa Pinto
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 379-395
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 353-356
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 37-52
IEEE Transactions on Reliability > 2016 > 65 > 3 > 1163 - 1179
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 267-282
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Applications of Diagrams > 165-171
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 106-120
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 385-399
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > Contributions > 1-18
Lecture Notes in Computer Science > Reliable Software Technologiey – Ada-Europe 2010 > Software Dependability > 97-110
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 191-205
Lecture Notes in Computer Science