Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
|
sorted by
|
|
|
A Program Logic for Fresh Name Generation9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.76-91, ⟨10.1007/978-3-030-89247-0_6⟩
Conference papers
hal-04074511v1
|
||
|
|
Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
Conference papers
hal-03376253v1
|