Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Linas Laibinis
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Linas Laibinis
Country:
Lithuania
Affiliation:
Institute of Computer Science, Vilnius University, Vilnius,Lithuania
Contributions
2026
FM
Author of Formal Verification of Healthcare Computer Network Architectures using Alloy and TLA+ within the ABZ-track
Share
x
Mon 2 Nov 19:41