MB

Michael Butler

University of Southampton 0000-0003-4642-5373

432

Publications

7,112

Citations

40

h-index

141

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (237)
Book Chapter (133)
Book (20)
Preprint (15)
Dataset (8)

Filter by Open Access Type

Open Access (160)
Closed Access (272)

Filter by Authors

Michael Butler (432)
Colin Snook (67)
Thai Son Hoang (63)
Asieh Salehi Fathabadi (42)
Dana Dghaym (27)

Filter by Topics

Formal Methods in Verification (167)
Model-Driven Software Engineering Techniques (78)
Advanced Software Engineering Methodologies (71)
Logic, programming, and type systems (62)
Distributed systems and fault tolerance (53)