Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings


Book Informaton

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Author

Brijesh Dongol; Elena Troubitsyna

Series

Lecture Notes in Computer Science

Volume

12546

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XI, 461

Language

en

ISBN

9783030634605, 9783030634612

ARI Id

1665287121104


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 34 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xi
1-1
3-21
22-40
41-59
61-61
63-81
82-102
103-120
121-121
123-140
141-159
160-177
179-179
181-198
199-217
218-236
237-237
239-256
257-275
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 34 entries