output
20162023
most citedFormal Modelling, Testing and Verification of HSA Memory Models using Event-B

2 citations

3 papers