Adrianos Lachanas

AL

Statistics

Publications

1

Citations

78

H-Index

1

Active since

2000

Affiliations

Adrianos Lachanas is an author at University of Cyprus specializing in formal methods, formal verification, and system software.

Publications per year

2000–2000

1

Publications

1