Skander Kort

SK

Statistics

Publications

2

Citations

26

H-Index

2

Active since

2003

Affiliations

Skander Kort is an author at Concordia University specializing in deductive verification, formal methods, and computer science.

Publications per year

2003–2007

2

Publications

2