University
UNSW Sydney
(In-)Formal Methods: The Lost Art

(In-)Formal Methods: The Lost Art (COMP6721)

11 document

00 questions 00 students

Lecture notes

year

Ratings

Interntional Law Committee CIArb International Arbitration Moot 2021
3 pages2013/2014None
2013/2014None

Can't find what you're looking for? Ask your class to share their resources and study together!

@font-face { font-family: 'DM Sans'; font-style: normal; font-weight: 400; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-400-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: normal; font-weight: 400; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-400.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: normal; font-weight: 500; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-500-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: normal; font-weight: 500; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-500.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: normal; font-weight: 700; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-700-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: normal; font-weight: 700; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-700.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: italic; font-weight: 400; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-italic-400-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: italic; font-weight: 400; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-italic-400.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: italic; font-weight: 500; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-italic-500-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: italic; font-weight: 500; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-italic-500.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: italic; font-weight: 700; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-italic-700-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF; font-display: swap;} @font-face { font-family: 'DM Sans'; font-style: italic; font-weight: 700; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/dm-sans-italic-700.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;} @font-face { font-family: 'Lazzer'; font-style: normal; font-weight: 900; src: url(https://d20ohkaloyme4g.cloudfront.net/build/css/fonts/lazzer-900.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; font-display: swap;}

(In-)Formal Methods: The Lost Art (COMP6721)

Lecture notes

Related Answered Questions