Wyniki wyszukiwania dla: Jorge Sousa
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 379-395
BMC Research Notes > 2017 > 10 > 1 > 1-3
Pediatric Nephrology > 2017 > 32 > 5 > 843-851
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
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
Advances in Intelligent and Soft Computing > 3rd Symposium of Ubiquitous Computing and Ambient Intelligence 2008 > 321-325