activity
20082018
most citedA sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.DC2018

Adaptive virtual organisms: A compositional model for complex hardware-software binding

Ciprian Ionut Paduraru, Gheorghe Stefanescu

The relation between a structure and the function running on that structure is of central interest in many fields, including computer science, biology (organ vs. function), psychol…