Incorporating Formal Techniques into Industrial Practice: an Experience Report
SourceElectronic Notes in Theoretical Computer Science, 295, 0, (2013), pp. 49-63
Article / Letter to editor
Display more detailsDisplay less details
Electronic Notes in Theoretical Computer Science
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.