Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
출판사 설명
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
장르
컴퓨터 및 인터넷
출시일
2024년
9월 10일
언어
EN
영어
길이
702
페이지
출판사
Springer Nature Switzerland
판매자
Springer Nature B.V.
크기
58.9
MB