Alexandre David

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 2

Top Topics

Biological Systems

Formal Verification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Adv. Comput. Intell. Intell. Informatics

Universitet Uppsala (PHD)

Education History

Universitet Uppsala

PHD

Publications