Items where Author is "Winikoff, Michael"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Data Collection
Number of items: 1.

Data Collection

Winikoff, Michael, Dennis, Louise and Fisher, Michael (2018) Slicing Agent Programs for more Efficient Verification. [Data Collection]

This list was generated on Thu Apr 25 07:30:34 2024 BST.