Showing
1 - 9
results of
9
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Available Online
Author:
Remove Filter
Margaria, Tiziana
Other:
Remove Filter
Software engineering
Page will reload when a filter is removed.
Reset Filters
Show filters (3)
Available Online
Author:
Remove Filter
Margaria, Tiziana
Other:
Remove Filter
Software engineering
Search Results
Showing
1 - 9
results of
9
for search '
'
, query time: 0.20s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...
Published 2021
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
2
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...
Published 2020
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
3
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 20...
Published 2020
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
4
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...
Published 2020
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
5
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rho...
Published 2021
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
6
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Pro...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
7
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
8
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Procee...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
9
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Pro...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Clear Filter
Available Online
Format
eBook
9 results
9
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Margaria, Tiziana
SpringerLink (Online service)
9 results
9
Steffen, Bernhard
9 results
9
Language
English
9 results
9
Loading...