![Ivan Prokić](https://conf.researchr.org/getProfileImage/ivanprokic/1ab1be56-6b7c-42ea-944f-57bfeb7204df/small.jpg?1712458425000)
Registered user since Tue 17 Nov 2020
Name:Ivan Prokić
Country:Serbia
Affiliation:University of Novi Sad
Personal website: http://imft.ftn.uns.ac.rs/~iprokic/
Research interests:Formal methods, concurrency, session types, pi calculus
Contributions
ECBS 2023-profile
View general profile
View general profile