Search

Articles
Catalog
Databases
Journals
UWDC

Ask a Librarian
Accounts & Lists
Libraries
UW–Madison
Give
Help
Website Search

schedule

Next available on Friday 9 a.m.–5 p.m.

Additional Options

Call / Text
Consultation Appointment
Visit
Email

Business Library
College Library (Undergraduate)
Ebling Library (Health Sciences)
Gender and Women's Studies Librarian
Information School Library (Information Studies)
Law Library (Law)
Memorial Library (Humanities & Social Sciences)
MERIT Library (Education)
Steenbock Library (Agricultural & Life Sciences, Engineering)

Ask a Librarian Hours & Policy
Library Research Tutorials

Search the for

Articles Find articles in journals, magazines, newspapers, and more

Catalog Explore books, music, movies, and more

Databases Locate databases by title and description

Journals Find journal titles

UWDC Discover digital collections, images, sound recordings, and more

Website Find information on spaces, staff, services, and more

Website Search

Find information on spaces, staff, and services.

ASK a Librarian
Library by Appointment
Locations & Hours
Resources by Subject

Catalog Search

Search the physical and online collections at UW-Madison, UW System libraries, and the Wisconsin Historical Society.

keyboard_arrow_down

Available Online
Print/Physical Items
Limit to UW-Madison

Advanced Search
Browse by...
WorldCat

Database Search

Find databases subscribed to by UW-Madison Libraries, searchable by title and description.

Browse by Subject/Type
Introductory Databases
Top 10 Databases

Journal Search

Find journal titles available online and in print.

keyboard_arrow_down

Available Online
Print/Physical Items
Limit to UW-Madison

Browse by Subject / Title
BrowZine
Citation Search

Article Search

Find articles in journals, magazines, newspapers, and more.

keyboard_arrow_down

Available Online
Scholarly (peer-reviewed)
Open Access

Citation Search
Library Databases

UW Digital Collections Search

Discover digital objects and collections curated by the UW Digital Collections Center.

keyboard_arrow_down

Browse Collections
Browse UWDC Items

University of Wisconsin–Madison
Libraries

- UW Home
- My UW
- Email/Calendar
- Canvas
- Box
- Google Apps
Help
Give

Search the UW-Madison Libraries

Articles
Catalog
Databases
Journals
UWDC

filter_alt

Filter Results

Select filters to narrow your search.

1 Artificial intelligence
1 Computer programs
1 Computer science
1 Computer software
1 Development
1 Verification

2 AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies (2021)
1 Naks, Tonu
1 Rosen, Jean-Pierre

2 English

Limit year range

Results contain values from 2021 to 2022

Earliest Year

Latest Year

book

Catalog Search

expand_more

Available Online
Print/Physical Items
Limit to UW-Madison

filter_alt

Applied Filters

Formats:Videos, Slides, Films
Subjects:Ada (Computer program language)

Filters

Quick Links

Advanced Search
Browse by…
WorldCat

favorite Saved Lists

Search Results

2 results sorted by

Relevancy
Year – oldest to newest
Year – newest to oldest
Author – ascending
Author – descending
Title – ascending
Title – descending

List View
Single Item View

Videos, Slides, Films

ASIS vs. Libadalang : a comparative assessment

Author

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies (2021)

Date

2021

Available As

Online
Videos, Slides, Films

Using Ada for model verification

Author

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies (2021)

Date

2022

Available As

Online

Can't find what you're looking for?

Interlibrary Loan Request
Ask a Librarian (Chat, Phone, Email)
Request a Purchase
Search Help

Other sites to try

WorldCat (OCLC Catalog)
Google Books
HathiTrust

Libraries

Accessibility
Copyright Statement
Policies

Contact Us

Feedback, questions, or accessibility issues: libraries@wisc.edu

Support Libraries volunteer_activism

Privacy Notice | © Board of Regents of the University of Wisconsin System

Keyboard Shortcuts

Close

Available anywhere

?: Shortcut help message
s: Highlight search box
esc: Close dialog

Available in search results

n: Next page
p: Previous page
f: Toggle filters
1-5: Open nth result on page