|
Items where Author is "Stoelinga, Marielle" |
||
|
|
Group by: Item Type | No Grouping Number of items: 1. Chaudhary, Kaylash C. and Fehnker, Ansgar and van de Pol, Jaco and Stoelinga, Marielle (2015) Modeling and verification of the Bitcoin protocol. [Conference Proceedings] |
||
![[up]](/style/images/multi_up.png)
Up a level