Compositional Program Analysis using Max-SMT

6 years ago 216 Views

Debugging Maude programs

6 years ago 294 Views

An overview on diversity and Software Testing

6 years ago 264 Views

Specifying quantities in software models

6 years ago 516 Views

New horizons of brain dynamics and art

6 years ago 279 Views

Redecentralizing the Web: IPFS and Filecoin

6 years ago 2180 Views