The following pages link to José M. Cañete-Valdeón (Q963447):
Displaying 3 items.
- Clarifying the semantics of value in use cases through Jackson's problem frames (Q963451) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- On the interpretation of mathematical entities in the formalisation of programming and modelling languages (Q3545271) (← links)
