×

Home
Posters
Search

Presenter

Yong Kiam Tan

Presentations by Yong Kiam Tan

Show All

Poster Presentations

Pegasus: A Framework for Sound Continuous Invariant Generation

Pegasus: A Framework for Sound Continuous Invariant Generation

Yong Kiam Tan

No presentations found for today.

Back to Presenters List

CONTACT THIS PRESENTER

Yong Kiam Tan

Your Name

Your Email Address

Message Subject

Message

Loading…

Type

Theme

Code

Login To Manage Your Program

Menu

Description
Session Details
Author Details
Contact The Author
View Abstract
Download PDF
Share Online
Judging Panel Voting
People's Choice Award Voting

Description
Session Details
Author Details
Contact The Author
Abstract
Download PDF
Share Online
QR Code
Judging Panel Voting
People's Choice Award Voting

{{data.description}}

{{data.time}}

{{data.session}}

{{data.room}}

{{data.theme}}

View Full Session

Please fill out the form to send a message to the author.

Your Name

Your Email Address

Message

Abstract

This presentation is also available in PDF format. Please provide your email address below, and our system will send the PDF to you.

Your Email Address

Share This Work Online

Scan to view on mobile device.

Judges Comments

Comments will be sent to the presenter, and can be seen by the other judges.