This assignment will be done exclusively in Latex. A template file is provided (assign1.zip), it contains the main file assign1.tex that you should use to prepare your assignment document

profileRajReddy1998

The reading materials assigned for the first week of lecture cover three themes that are: Algorithm analysis, algorithm correctness, and Software Verification (Testing vs. Formal Methods). Write a one-page abstract (pdf) compiled from the latex file (assign1.tex), that summarizes these themes.

  • 2 years ago
  • 30
Answer(1)

Purchase the answer to view it

blurred-text
NOT RATED