Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)
詳しい情報
出版社: Springer(2022-06-22)
ペーパーバック: 140 ページ / 15.5 x 0.8 x 23.5 cm
ISBN-10: 3031098269 ISBN-13: 9783031098260