Showing results 32 to 36 of 36
< previous
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
2017 | 71 | |||
2019 | 40 | |||
The ‘dual motives’ of written assignments in an MEd programme Proceeding/Conference:17th Symposium for Second Language Writing | 2018 | 18 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:ACM SIGPLAN Notices | 2013 | 41 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS | 2013 | 36 |