Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adding Type Classes to Functional-Logic Languages., , , , and . APPIA-GULP-PRODE, page 427-438. (1996)Declarative Reflection and its Application as a Pattern Language., , and . WFLP, volume 76 of Electronic Notes in Theoretical Computer Science, page 197-215. Elsevier, (2002)Formal Extreme (and Extremely Formal) Programming., and . XP, volume 2675 of Lecture Notes in Computer Science, page 88-96. Springer, (2003)A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems., , and . SEFM Workshops, volume 8938 of Lecture Notes in Computer Science, page 116-130. Springer, (2014)Towards Automating the Iterative Rapid Prototyping Process with the SLAM system., and . JISBD, page 217-228. Universidad de Valladolid, Departamento de Informática, (2000)Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns., , , and . TFM, volume 3294 of Lecture Notes in Computer Science, page 85-106. Springer, (2004)Generation of and Debugging with Logical Pre and Post-Conditions., and . AADEBUG, (2000)Rapid Prototyping and Incremental Evolution Using SLAM., and . IEEE International Workshop on Rapid System Prototyping, page 201-. IEEE Computer Society, (2003)Applying Property-Based Testing in Teaching Safety-Critical System Programming., , and . EUROMICRO-SEAA, page 309-316. IEEE Computer Society, (2015)Formal Extreme (and Extremely Formal) Programming, and . XP, page 88--96. (2003)