Refine Search

New Search

Result: 7,083,474

(searched for: conference:*)
Page of 708,348
Articles per Page
by
Show export options
  Select all
G. Antonio Pierro , Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops pp 147-158; doi:10.1007/978-3-030-67220-1_12

The publisher has not yet granted permission to display this abstract.
Adrien Le Coënt , Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops pp 318-333; doi:10.1007/978-3-030-67220-1_24

The publisher has not yet granted permission to display this abstract.
Marjan Sirjani , Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops pp 67-86; doi:10.1007/978-3-030-67220-1_6

The publisher has not yet granted permission to display this abstract.
Page of 708,348
Articles per Page
by
Show export options
  Select all
Back to Top Top