Showing
1 - 15
results of
15
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
Steffen, Bernhard
Other:
Remove Filter
Software engineering
Page will reload when a filter is removed.
Reset Filters
Show filters (3)
Available Online
Author:
Remove Filter
Steffen, Bernhard
Other:
Remove Filter
Software engineering
Search Results
Showing
1 - 15
results of
15
for search '
'
, query time: 0.26s
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.
Published 2008
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Published 2010
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
3
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Published 2010
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
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
5
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
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: 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
7
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
8
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
9
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
10
Computing and Software Science : State of the Art and Perspectives /
Published 2019
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
11
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings...
Published 2019
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
12
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
13
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
14
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
15
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
15 results
15
Conference Proceeding
3 results
3
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
15 results
15
Steffen, Bernhard
Margaria, Tiziana
9 results
9
Margaria-Steffen, Tiziana, 1964-
3 results
3
ISoLA 2010 Ērakleion, Greece
2 results
2
Beyer, Dirk
1 results
1
Huisman, Marieke
1 results
1
ISoLA 2008
1 results
1
Kordon, Fabrice
1 results
1
Olderog, Ernst-Rüdiger
1 results
1
Woeginger, Gerhard
1 results
1
Yi, Wang
1 results
1
see all…
Language
English
15 results
15
Loading...